#include "stdio.h"
unsigned int g_1394;
int main() {
  for (g_1394 = 20; (g_1394 >= 2); g_1394 -= 7);
  printf("%d\n", g_1394);
  return 0;
}
